Domain theory - PDFSEARCH.IO - Document Search Engine

Domain theory
Results: 638

#	Item
541	IRREDUCIBLE COMPONENTS OF RIGID SPACES BRIAN CONRAD This paper lays the foundations for the global theory of irreducible components of rigid analytic spaces over a complete field k. We prove the excellence of the local r Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2004-08-10 17:07:55 Commutative algebra Ring Krull dimension Noetherian ring Discrete valuation ring Integral element Valuation ring Divisor Integrally closed domain Abstract algebra Algebra Ring theory
542	A BABY STEP-GIANT STEP ROADMAP ALGORITHM FOR GENERAL ALGEBRAIC SETS ´ SCHOST S. BASU, M-F. ROY, M. SAFEY EL DIN, AND E. Abstract. Let R be a real closed field and D ⊂ R an ordered domain. We give an algorithm that tak Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2012-01-30 23:55:12 Field theory Algebraic geometry Scheme theory Commutative algebra Algebraic curve Algebraic variety Field extension Real algebraic geometry Semialgebraic set Abstract algebra Algebra General topology
543	Logic-Based Domain-Aware Session Types Lu´ıs Caires∗ , Jorge A. P´erez∗ , Frank Pfenning† and Bernardo Toninho∗† ∗ FCT - Universidade Nova de Lisboa Mellon University Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2014-01-21 08:18:35 Proof theory Type theory Logic in computer science Models of computation Deduction Natural deduction Curry–Howard correspondence Lambda calculus Connection Mathematical logic Mathematics Theoretical computer science
544	CHAPTER I PROJECTIVE MODULES AND VECTOR BUNDLES The basic objects studied in algebraic K-theory are projective modules over a ring, and vector bundles over schemes. In this first chapter we introduce the cast Add to Reading List Source URL: www.math.rutgers.edu Language: English - Date: 2012-09-01 14:36:13 Ring theory Homological algebra Algebraic structures Commutative algebra Projective module Structure theorem for finitely generated modules over a principal ideal domain Module Commutative ring Torsion Abstract algebra Algebra Module theory
545	ALGEBRAIC NUMBER THEORY J.S. MILNE Abstract. These are the notes for a course taught at the University of Michigan in F92 as Math 676. They are available at www.math.lsa.umich.edu/∼jmilne/. Please send comments and cor Add to Reading List Source URL: www.plouffe.fr Language: English - Date: 2014-05-28 20:46:26 Algebraic number theory Commutative algebra Field theory Number theory Algebraic number field Ideal class group Ring of integers Unique factorization domain Integral domain Abstract algebra Algebra Ring theory
546	Tutorial: Metacompilers Part 1 1 of 45 http://www.bayfronttechnologies.com/mc_tutorial.html Add to Reading List Source URL: www.bayfronttechnologies.com Language: English - Date: 2008-09-05 23:33:08 Procedural programming languages META II Metacompiler Domain-specific language Compiler-compiler Compiler Fortran ALGOL 60 ALGOL Software engineering Computing Programming language theory
547	Plate layout for kinase shRNA collection, Cat# TR100001 Plate Name: Kinase Collection 101 row well TF FI A 1 TF320779 FI380403 Add to Reading List Source URL: www.origene.com Language: English - Date: 2012-08-28 17:30:08 Protein kinase domain Group theory
548	Activity Centred Professional Development and TeachersÕ Take-Up of ICT Alberto Rizzo Melbourne Grammar School 1 Domain Rd Melbourne 3004 Add to Reading List Source URL: crpit.com Language: English - Date: 2012-01-19 01:27:17 Activity theory E-learning Information and communication technologies in education Learning theory Educational technology Constructivism Collaborative learning Actor–network theory Victorian Essential Learning Standards Education Educational psychology Organizational learning
549	The Z-Transform Page 6 of 7 The Z-Transform Introduction A linear system can be represented in the complex frequency domain (s-domain where s = + j) using the LaPlace Transform. Add to Reading List Source URL: doctord.dyndns.org Language: English - Date: 2005-06-14 09:48:52 Fourier analysis Integral transforms Z-transform Control theory Laplace transform Methods of contour integration Complex plane Convolution Mathematical analysis Complex analysis Transforms
550	Using Classical Planners for Tasks with Continuous Operators in Robotics Siddharth Srivastava and Lorenzo Riano and Stuart Russell and Pieter Abbeel Computer Science Division University of California, Berkeley Berkeley, Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2013-05-23 10:14:06 Mathematical logic Theoretical computer science Model theory Motion planning STRIPS Planning Domain Definition Language Logic programming Thoralf Skolem Robotics Mathematics Artificial intelligence Automated planning and scheduling

UPDATE